#ifndef __HAL_UART_H
#define __HAL_UART_H

void usart0_gpio_config(void);
void usart0_config(void);
int fputc(int ch, FILE *f);

#endif
